Boolean function

Results: 326



#Item
51Boolean algebra / Cryptography / Combinatorics / Mathematics / Bent function

69 Kvaternion), 69–81 CONSTRUCTED QUATERNARY CRYPTOGRAPHIC FUNCTIONS CLASS

Add to Reading List

Source URL: kvaternion.fme.vutbr.cz

Language: English - Date: 2012-10-04 04:23:56
52Logic gates / Mathematics / Boolean algebra / Semantics / Truth table / Sequential logic / Circuit / Logical connective / Flip-flop / Theoretical computer science / Digital electronics / Electronic engineering

CS109B Notes for LectureGates No, not Bill | we mean a circuit element that implements a logical function.  Gate inputs and outputs are usually voltages.

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:59:15
53Automated planning and scheduling / Planning Domain Definition Language / Logic in computer science / Semantics / Boolean algebra / Fluent / Bernoulli distribution / FO / Function / Mathematics / Mathematical logic / Theoretical computer science

Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i

Add to Reading List

Source URL: rddlsim.googlecode.com

Language: English - Date: 2014-10-06 22:18:15
54Propositional calculus / Boolean algebra / Semantics / Logical connectives / Model theory / Truth table / Interpretation / Function / Propositional variable / Logic / Mathematical logic / Mathematics

CS109B Notes for LectureWhy Logic?  Models reasoning, mathematical proofs, hu 

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:59:08
55Automated planning and scheduling / Propositional calculus / Constraint programming / Formal methods / Planning Domain Definition Language / Boolean algebra / Satisfiability Modulo Theories / Interpretation / Function / Logic / Mathematics / Mathematical logic

Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2012-04-19 08:48:52
56Formal languages / Algebraic logic / Philosophical logic / Boolean algebra / Formal grammar / Entailment / Semantics / Model theory / Function / Logic / Mathematics / Metalogic

Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2014-04-11 22:58:26
57Function / Boolean algebra / Canonical form / FO / Mutual information / Μ operator / Mathematics / Mathematical logic / Algebraic logic

REVISIONS These pages are revisions, mostly new material, for Hacker’s Delight. This material is relative to the sixth printing. --Page 4, insert this new paragraph just before Section 1–2:

Add to Reading List

Source URL: www.hackersdelight.org

Language: English - Date: 2012-03-29 17:07:13
58Predicate logic / First-order logic / Free variables and bound variables / Function / Universal quantification / Predicate / FO / Propositional variable / Independence / Logic / Mathematical logic / Mathematics

CS109B Notes for LecturePredicates Essentially Boolean-valued functions with arguments of arbitrary type.  But predicates are uninterpreted; a predicate named , for example, need not givethe value TRUE.

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:59:19
59Semantics / Philosophy of language / Symbol grounding / Symbolism / Function / Language / Boolean algebra / Axiom / Mathematics / Logic / Linguistics

PDF Document

Add to Reading List

Source URL: geog.ucsb.edu

Language: English - Date: 2011-07-21 01:25:15
60Algebra / Field theory / Bent function / Combinatorics / Cryptography / E-function / Algebraic normal form / Field / Algebraic geometry / Abstract algebra / Mathematics / Boolean algebra

On a weakness of the Tu-Deng function and its repair Claude Carlet ∗

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2009-12-08 06:03:26
UPDATE